AcI-Konstruktionen bei Wahrnehmungsverben

Algorithmische Konstruktionen von Gittern

I have a great suspicion that for example Euler today would spend much more of his time on writing software because he spent so much of his time e.g., in efforts of calculating tables of moon positions. And I believe that Gauß as well would spend much more time sitting in front of the screen.

ACI-Rossignol : Rapport d’Activité

ACI Rossignol is composed of teams from LIF (UMR 6166), LSV (UMR 8643), INRIA Futurs (Projet Comète and projet SECSI) and Verimag (UMR 9939). The research topic of the action is ccryptographic protocol verification. Two general meetings have been held and additional meetings between sites have been organized. Futhermore the action has organized a Spring School on formal aspects on Security (Sec...

Projet BEHAVIOUR , ACI SI 2004

• HEUDIASYC laboratory: Heuristic and diagnosis of complex systems, (UMR 6599 CNRS / Compiègne University of Technology, France): – Franck DAVOINE (CR CNRS) – Thierry DENOEUX (PR) – Yves GRANDVALET (CR CNRS) – Vincent FREMONT (MCF) – Romain HERAULT (PhD Student, since oct. 2004, MENRT ACI SI) – Yisong CHEN (postdoc, since sept. 2005, CNRS) These researchers are members of the ASTRID1 research g...

ACI Sécurité Informatique CORTOS

Projet ACI Sécurité Informatique : 2003 - 2006 Rapport

1 General Description ACI Rossignol is composed of teams from LIF (UMR 6166), LSV (UMR 8643 CNRS ENS Cachan and INRIA Futurs-project SECSI), INRIA Futurs (project Comète) and Verimag (UMR 9939). The Rossignol project aims at investigating issues involved in the verification of cryptographic protocols. The focus has been put on research directions that go beyond the classical approach devised fo...